Systems Level Specification and Modeling of Reactive Systems: Concepts, Methods, and Tools

As part of a comprehensive design concept for complex re-active systems we investigate the derivation of formal requirements and design speciications at systems level. We discuss the meaning of cor-rectness with respect to the embedding of mathematical models into the physical world. A crucial aspect in our attempt to make the logic link between the application domain speciic view and the formal view explicit is the concept of evolving algebra 13, 14]; it provides the formal basis of a speciication methodology which has successfully been applied to a variety of speciication and veriication problems. We introduce an evolving algebra abstract machine as a conceptual framework for the development of tools for machine based analysis and execution of evolving algebra speciications.